home *** CD-ROM | disk | FTP | other *** search
- package javax.swing.text.html;
-
- import javax.swing.text.MutableAttributeSet;
- import javax.swing.text.html.HTMLDocument.HTMLReader;
-
- class HTMLDocument$HTMLReader$EndOfLineAction extends HTMLDocument.HTMLReader.TagAction {
- // $FF: synthetic field
- private final HTMLDocument.HTMLReader this$1;
-
- HTMLDocument$HTMLReader$EndOfLineAction(HTMLDocument.HTMLReader var1) {
- super(var1);
- this.this$1 = var1;
- }
-
- public void end(HTML.Tag var1) {
- }
-
- public void start(HTML.Tag var1, MutableAttributeSet var2) {
- if (this.this$1.emptyDocument && var2 != null) {
- Object var3 = var2.getAttribute("__EndOfLineString__");
- if (var3 != null && var3 instanceof String) {
- HTMLReader.access$0(this.this$1).putProperty("__EndOfLine__", var3);
- }
- }
-
- }
- }
-